Automatic programming - PDFSEARCH.IO - Document Search Engine

Automatic programming
Results: 566

#	Item
501	Automatic resource management as a C++ design pattern LUIS VALENTE AURA CONCI Universidade Federal Fluminense – Instituto de Computação Rua Passo da Pátria, 156 Bloco E Sala[removed] – Niterói – RJ {lva Add to Reading List Source URL: guff.stage.tigris.org Language: English - Date: 2006-04-21 21:19:35 Object-oriented programming Method Cross-platform software C++ Resource Acquisition Is Initialization Destructor Constructor Smart pointer Software design pattern Computer programming Computing Software engineering
502	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
503	Why3 Modern automatic theorem prover Based on SMT technology Qualification DO-178 B/C (avionic) Used in industrial world Add to Reading List Source URL: alt-ergo.ocamlpro.com Language: English - Date: 2014-07-02 21:39:26 Ada programming language Formal methods Frama-C SPARK Logic in computer science Automated theorem proving AdaCore Ada Formal verification Computing Software engineering Computer programming
504	Why You Should Use Garbage Collection in Your Program gene m. stover created Sunday, 20 April 2003 updated Wednesday, 30 April 2003 c 2003 by Gene Michael Stover. All rights reserved. Permission to Add to Reading List Source URL: cybertiggyr.com Language: English - Date: 2014-06-08 02:24:29 Memory management Automatic memory management Data types C programming language Garbage collection Software bugs Reference counting Garbage Pointer Computing Software engineering Computer programming
505	Programming and Validation Techniques for Reliable Goal-driven Autonomic Software Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer and Bjarne Stroustrup Abstract 1 Future space missions such as the Mars Science Labora Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:45 Software engineering Compiler optimizations Formal methods Logic in computer science Parallel computing Local consistency Actor model Reliability engineering Automatic parallelization Theoretical computer science Computing Constraint programming
506	Chapter 1 Parallel Programming Models and Paradigms Lus Moura e Silvay and Rajkumar Buyyaz Add to Reading List Source URL: www.cloudbus.org Language: English - Date: 2004-02-16 23:46:40 Computer programming Parallel programming model Message Passing Interface SPMD Automatic parallelization Computer cluster Parallel Virtual Machine Explicit parallelism Thread Concurrent computing Computing Parallel computing
507	Environment Analysis of Higher-Order Languages A Doctoral Dissertation by Matthew Might Georgia Institute of Technology Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Computer programming Automatic memory management Data types Algorithm Mathematical logic Theoretical computer science Abstract interpretation Garbage collection Reference counting Computing Software engineering Memory management
508	Towards the Automatic Generation of Card Games through Grammar-Guided Genetic Programming Jose M. Font Tobias Mahlmann Add to Reading List Source URL: julian.togelius.com Language: English - Date: 2013-08-26 11:58:54 Video game design Game Description Language Game Blackjack Card game Uno Games Game design Game mechanics
509	Automatic Generation and Analysis of Physics-Based Puzzle Games Mohammad Shaker, Mhd Hasan Sarhan, Ola Al Naameh, Noor Shaker and Julian Togelius, Member, IEEE Abstract—In this paper we present a method for the automat Add to Reading List Source URL: julian.togelius.com Language: English - Date: 2013-08-26 11:58:56 Digital media Software Application software Mathematical optimization Cybernetics Cut the Rope Crayon Physics Deluxe Genetic programming Axiality and rhombicity Puzzle video games Evolutionary algorithms Genetic algorithms
510	The Design Maintenance System (DMS) A Tool for Automating Software Quality Enhancement Ira D. Baxter, Ph.D. Semantic Designs, Inc. www.semdesigns.com Keywords Add to Reading List Source URL: www.semanticdesigns.com Language: English - Date: 2012-03-15 22:37:39 Compiler construction Program transformation Automatic programming Compiler PL/I Programming tool Software Coding conventions Code generation Software engineering Computing Computer programming

UPDATE